Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l

Source URL: folk.uib.no

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Formal languages
• Logical truth
• Metalogic
• First-order logic
• Interpretation
• Substitution
• Well-formed formula
• Satisfiability

Teaching Statistics Theory Through Applications D. Nolan and T.P. Speed Department of Statistics, University of California, Berkeley, CAAugust 1999 Abstract In this paper we present a model for developing case stu

Source URL: www.stat.berkeley.edu

Contemporary Mathematics Basic Theory for Generalized Linear Solid Viscoelastic Models Joyce McLaughlin, Ashley Thomas, and Jeong-Rock Yoon Abstract. In this paper, we consider the generalized linear solid model of visc

Source URL: www.iprpi.rpi.edu

Automated reasoning under the theory H∗ (thesis abstract) Fritz Obermeyer February 23, 2009 In this thesis I study four extensions of untyped λ-calculi all under the maximally coarse semantics of

Source URL: fritzo.org

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Logic in computer science
• Lambda calculus
• Models of computation
• Type theory
• Combinatory logic
• Theorem
• Structure
• Interpretation

Objective Scoring for Computing Competition Tasks Graeme Kemkes, Troy Vasiga, and Gordon Cormack University of Waterloo Waterloo, Ontario, Canada Abstract Computing competitions like the International Olympiad in Informa

Source URL: plg.uwaterloo.ca

• Education
• Psychometrics
• Statistics
• Standardized tests
• Evaluation
• Statistical models
• Educational psychology
• Item response theory
• International Olympiad in Informatics
• Graduate Record Examinations
• Test
• Rasch model

ON KONTSEVICH’S HOCHSCHILD COHOMOLOGY CONJECTURE P. HU, I. KRIZ AND A.A. VORONOV 1. Introduction A conjecture of Deligne stated that the Hochschild cohomology complex of an

Source URL: www.math.lsa.umich.edu

• Homotopy theory
• Algebraic topology
• Category theory
• Abstract algebra
• Functors
• Highly structured ring spectrum
• Model category
• Simplicial set
• Koszul duality
• Operad theory
• Hochschild homology
• Cohomology

Toward Model Theory with Data Values Mikolaj Boja´ nczyk and Thomas Place? University of Warsaw Abstract. We define a variant of first-order logic that deals with data

Source URL: www.mimuw.edu.pl

Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne K¨onig, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam Abstract. We describe the major new features emerging from a significant rede

Source URL: www.cs.uni-potsdam.de

• Model theory
• Quantification
• Answer set programming
• Logic programming
• FO
• Functional predicate
• Universal quantification
• Limit of a function
• Expected value
• Predicate

A Comparison of Algorithms for Inference and Learning in Probabilistic Graphical Models Brendan J. Frey and Nebojsa Jojic Abstract Computer vision is currently one of the most exciting areas of artificial intelligence re

Source URL: www.isit2004.org

• Statistics
• Statistical models
• Probability
• Graphical models
• Machine learning
• Statistical theory
• Bayesian statistics
• Markov random field
• Bayesian network
• Generative model
• Factor graph
• Discriminative model

J. Symbolic Computation, 351–369 Lattices of Compatibly Embedded Finite Fields† WIEB BOSMA‡, JOHN CANNON§ AND ALLAN STEEL¶ Computational Algebra Group, School of Mathematics and Statistics, The Univers

Source URL: www.math.ru.nl

• Field theory
• Polynomials
• Computer algebra
• Finite fields
• Abstract algebra
• Conway polynomial
• Field
• Minimal polynomial
• Embedding
• Model theory
• Factorization of polynomials
• Duality